/*
 * Copyright (c) 2001-2003 Swedish Institute of Computer Science.
 * All rights reserved. 
 * 
 * Redistribution and use in source and binary forms, with or without modification, 
 * are permitted provided that the following conditions are met:
 *
 * 1. Redistributions of source code must retain the above copyright notice,
 *    this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright notice,
 *    this list of conditions and the following disclaimer in the documentation
 *    and/or other materials provided with the distribution.
 * 3. The name of the author may not be used to endorse or promote products
 *    derived from this software without specific prior written permission. 
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED 
 * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF 
 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT 
 * SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, 
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT 
 * OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING 
 * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY 
 * OF SUCH DAMAGE.
 *
 * This file is part of the lwIP TCP/IP stack.
 * 
 * Author: Adam Dunkels <adam@sics.se>
 *
 */

#include "cc.h"
#include "opt.h"
#include "IfxStm_Timer.h"
#include "IfxPort.h"

#if NO_SYS

#define TICKS_PER_SECOND 1000

static volatile uint32 SysTickCount;
static IfxStm_Timer myTimer;
static IfxStm_Timer_Config timerConfig;

IFX_INTERRUPT(ISR_TIMER_1MS, 0, 1)
{
  __enable();
  IfxStm_Timer_acknowledgeTimerIrq(&myTimer);

  SysTickCount++;
}

void sys_init(void)
{
  SysTickCount = 0;

  IfxStm_Timer_initConfig(&timerConfig, &MODULE_STM0);
  timerConfig.base.frequency = 1000;
  timerConfig.base.isrPriority = 1;
  IfxStm_Timer_init(&myTimer, &timerConfig);

  IfxStm_Timer_run(&myTimer);	
}

uint32 sys_now(void)
{
  return SysTickCount;
}

sys_prot_t sys_arch_protect(void)
{

  return 1;
}

void sys_arch_unprotect(sys_prot_t pval)
{

}

#endif
